2014 Archives by thread
Starting: Wed Jan 1 23:00:27 CEST 2014
Ending: Wed Dec 31 23:43:22 CEST 2014
Messages: 1121
- [Agda] eta-equality for records and metavar resolution
Andreas Abel
- [Agda] eta-equality for records and metavar resolution
Andreas Abel
- [Agda] trivial lemma of `with'
Sergei Meshveliani
- [Agda] withdraw AVL ≈ request?
Sergei Meshveliani
- [Agda] lists as sets
Nils Anders Danielsson
- github? [Re: [Agda] Agda development]
Jan Stolarek
- [Agda] trivial lemma of `with'
Sergei Meshveliani
- [Agda] 1st Call for Papers - TFPIE 2014
James Caldwell
- [Agda] Re: [HoTT] newbie questions about homotopy theory &
advantage of UF/Coq
Altenkirch Thorsten
- [Agda] 1st CFP, Intersection Types and Related Systems 2014
Luca
- [Agda] Re: [Coq-Club] [HoTT] newbie questions about homotopy theory
& advantage of UF/Coq
Altenkirch Thorsten
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Vladimir Voevodsky
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Vladimir Voevodsky
- [Agda] [bug] make install does cabal update
Jan Stolarek
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Altenkirch Thorsten
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Altenkirch Thorsten
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Martin Escardo
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Vladimir Voevodsky
- [Agda] ICFP 2014: Call for papers
David Van Horn
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Altenkirch Thorsten
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Conor McBride
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Altenkirch Thorsten
- [Agda] CSL-LICS 2014 - Last Call for Papers
Andrzej Murawski
- [Agda] Re: Issue 1013 in agda: internal error,
src/full/Agda/TypeChecking/Substitute.hs:322
Sergei Meshveliani
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Andreas Abel
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Vladimir Voevodsky
- [Agda] y ≟ 0 for irrelevant y ≉ 0
Sergei Meshveliani
- [Agda] Integer lemmata
Sergei Meshveliani
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Matthieu Sozeau
- [Coq-Club] [Agda] Re: [HoTT] newbie questions about homotopy
theory & advantage of UF/Coq
Vladimir Voevodsky
- [Agda] Not understanding some goal solving stuff
Chris Moline
- [Agda] ANN: MiniAgda-0.2014.1.9 Toy language with dependent and
sized types
Andreas Abel
- [Agda] TeX capacity exceeded
Amr Sabry
- [Agda] (s ◃ m ) * (s' ◃ n)
Sergei Meshveliani
- [Agda] assoc Sign._*_
Sergei Meshveliani
- [Agda] UTP-2014 Unifying Theories of Programming - call for papers
David Naumann
- [Agda] Re: Agda bug
Carlos Camarao
- [Agda] Simple monoid instance based on monoid instance of
underlying type
Mateusz Kowalczyk
- [Agda] Making ≡ proofs more manageable
Mateusz Kowalczyk
- [Agda] include agda in latex
Altenkirch Thorsten
- [Agda] default field values
Sergei Meshveliani
- [Agda] Problem installing Agda OS X Mavericks
Wouter Swierstra
- [Agda] The standard library has moved to github
Ulf Norell
- [Agda] Yet another way Agda --without-K is incompatible with
univalence
Jesper Cockx
- [Agda] [PATCH] add a ∷-injective for Vec like there is one for List
Helmut Grohne
- Fwd: [Agda] Re: Yet another way Agda --without-K is incompatible with
univalence
Matteo Acerbi
- [Agda] Re: Yet another way Agda --without-K is incompatible with
univalence
Jesper Cockx
- [Agda] Fwd: Hashtables: 'Basic' hashtables performance quirks on
Win64
Andreas Abel
- [Agda] Weird behaviour inside of ‘let’
Mateusz Kowalczyk
- [Agda] question on irrelevant argument
Sergei Meshveliani
- [Agda] Postdoctoral Researcher at DemTech/IT University of
Copenhagen
Carsten Schürmann
- [Agda] Postdoctoral Researcher at DemTech/IT University of
Copenhagen
Carsten Schürmann
- [Agda] GandALF 2014: Preliminary call for papers
murano at na.infn.it
- [Agda] github on Standard library
Sergei Meshveliani
- [Agda] slow file with many constructors
Aaron Stump
- [Agda] f (p1 , p2)
Sergei Meshveliani
- [Agda] Midlands Graduate School 2014, register now
Altenkirch Thorsten
- [Agda] Haskell Platform and Agda on OS X Mavericks/xcode 5
James Chapman
- [Agda] Unicode
Harley Eades
- [Agda] TFP 2014 - 2nd call for papers
Peter Achten
- [Agda] dependent inverse transitivity
Alexander Altman
- [Agda] updating record field
Sergei Meshveliani
- [Agda] C-c-C-n for NatShow.show n
Sergei Meshveliani
- [Agda] unnatural check cost
Sergei Meshveliani
- [Agda] wiki spam
Patrik Jansson
- [Agda] MAP 2014 - First announcement - Call for contributions
Cyril Cohen
- [Agda] RFC: R.B.HeterogeneousEquality + i-cong
Helmut Grohne
- [Agda] type check explosion
Sergei Meshveliani
- [Agda] Int/(m) test
Sergei Meshveliani
- [Agda] 2nd Call for Papers - TFPIE 2014
Peter Achten
- [Agda] Re: Issue 1041 in agda: `Maybe' causes a great type-check
cost
Sergei Meshveliani
- [Agda] isYes
Sergei Meshveliani
- [Agda] Level not an inductive type
F.Lockwood Morris
- [Agda] AI4FM 2014: Call for Short Contributions
Iain Whiteside
- [Agda] panic error message on Windows
Aaron Stump
- [Agda] Re: Issue 1050 in agda: how to reduce type check cost
Sergei Meshveliani
- [Agda] Oregon Programming Languages Summer School, 2014
Amal Ahmed
- [Agda] Trouble with the 'with' clause
Balaji Rao
- [Agda] merging identical proofs?
Kenichi Asai
- [Agda] Reflection on the Agda wiki
Andreas Abel
- [Agda] ATVA 2014: First Call for Papers
Franck Cassez
- [Agda] 2nd Call for Papers: Conf. Intelligent Computer Mathematics
(CICM 2014)
Serge Autexier
- [Agda] (¬_ ∘ P) Respects
Sergei Meshveliani
- [Agda]
TYPES 2014 in Paris, May 12 - 15: last call for contributions
Matthieu Sozeau
- [Agda] First Call for Papers: 8th Verification Workshop (VERIFY
2014), Focus Theme: Verification Beyond IT Systems
Serge Autexier
- [Agda] proof by patterns
Sergei Meshveliani
- [Agda] LFMTP 2014: Call for Papers
Amy Felty
- [Agda] Call for Participation RAMiCS 2014
Peter Höfner
- [Agda] *Deadline extended* Final call for contributions AI4FM 2014
Iain Whiteside
- [Agda] APLAS 2014: Call for papers
James Chapman
- [Agda] LOPSTR 2014 - First Call for Papers
Maurizio Proietti
- [Agda] Sized types and Inspect idiom problem
Ernesto Copello
- [Agda] ANNOUNCE: Idris developers' meeting in Gothenburg,
April 29-May 2, 2014
David Christiansen
- [Agda] Possible extension to pattern matching?
Andrea Vezzosi
- [Agda] CICM 2014: Extended Deadline March 14th, 2014
Serge Autexier
- [Agda] SBLP 2014 - Call for Papers
Rodrigo Ribeiro
- [Agda] Re: [Coq-Club] Propositional extensionality: the return of
the revenge
Andreas Abel
- [Agda] First CFP: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
- [Agda] Agda fails to build on GHC 7.8
Jan Stolarek
- [Agda] Second Call for Papers for SD14, July 12-13, 2014, Vienna
Lutz Strassburger
- [Agda] Autophagia
Martin Escardo
- [Agda] A correctness proof for pattern matching without K
Jesper Cockx
- [Agda] Question regarding a simple "dependently typed IF-THEN-ELSE"
Konstantin Tretjakov
- [Agda] Data.Rational
Amr Sabry
- [Agda] [TFP2014] Final Call For Papers
Peter Achten
- [Agda] Midlands Graduate School 2014, register now
Altenkirch Thorsten
- [Agda] long type checking times in the development version
Martin Escardo
- [Agda] Haskell 2014: Call for papers
Wouter Swierstra
- [Agda] Dependently Typed Programming 2014 Call for Papers
Edwin Brady
- [Agda] using irrelevant field
Sergei Meshveliani
- [Agda] Error when compiling Agda from Darcs repository by GHC 7.2
Dirk Ullrich
- [Agda] ghc link options in MAlonzo?
Conor McBride
- [Agda] MAP 2014 Second announcement/Deadline extension
Cyril Cohen
- [Agda] Data.Rational
Amr Sabry
- [Agda] Side Effects in Agda
Joe M
- [Agda] Side Effects in Agda
Joe M
- [Agda] Agda environment: Hackage, Hoogle, Haddock, Cabal?
Mateusz Kowalczyk
- [Agda] Agda meeting 22-28 May in Paris, call for participation
Andreas Abel
- [Agda] ATVA 2014: 2nd Call for Papers -- Sydney November 3-7
Franck Cassez
- [Agda] AI4FM 2014: Call for Participation
Iain Whiteside
- [Agda] Non-termination change in Agda 2.3.3
Mateusz Kowalczyk
- [Agda] Types Meeting 2014 in Paris,
12 - 15 May: call for participation
Hugo Herbelin
- [Agda] MAlonzo performance
Sergei Meshveliani
- [Agda] Building Agda on GHC 7.9
Mateusz Kowalczyk
- [Agda] Third and Last Call for Papers for SD14, July 12-13, 2014,
Vienna
Lutz Strassburger
- [Agda] One PhD position for EU students available at the University
of Dundee, Scotland.
Marco Gaboardi
- [Agda] Functional Reactive Types
Alan Jeffrey
- [Agda] [TFP2014] First Call for Participation
Peter Achten
- [Agda] [TFPIE2014] final call for papers
Peter Achten
- [Agda] Second CFP: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
- [Agda] Classical Logic and Computation 2014 in Wien - extended
deadline
Berardi Stefano
- [Agda] Generic programming and pointfree stuff.
flicky frans
- [Agda] Monads with polymorhic bind.
flicky frans
- [Agda] 2nd CfP, VERIFY 2014, 8th Verification Workshop,
*Abstract Deadline April 17th, 2014*,
Focus Theme: Verification Beyond IT Systems
Serge Autexier
- [Agda] Oregon PL Summer School: call for participation
Amal Ahmed
- [Agda] Software Engineering vacancy at Radboud University Nijmegen
Marko van Eekelen
- [Agda] LFMTP 2014: 2nd Call for Papers
Amy Felty
- [Agda] Agda on GitHub Atom
Balaji Rao R
- [Agda] PhD Position in dependent types, testing & hardware design
Wouter Swierstra
- [Agda] Summer School on Advances in Programming Langauges
Belikov, Evgenij
- [Agda] Oregon PL Summer School: register by May 2nd
Amal Ahmed
- [Agda] Haskell Symposium: Second call for papers
Wouter Swierstra
- [Agda] ATVA 2014: Last Call for Papers -- Sydney November 3-7
Franck Cassez
- [Agda] ATVA 2014: Last Call for Papers -- Sydney November 3-7
Franck Cassez
- [Agda] LOLA 2014 - Call for Talk Proposals
Andrzej Murawski
- [Agda] Types Meeting 2014 in Paris,
12 - 15 May: 2nd call for participation
Hugo Herbelin
- [Agda] LOPSTR 2014: Second Call for Papers
Maurizio Proietti
- [Agda] CfP: 8th Verification Workshop (VERIFY 2014),
Focus Theme: Verification Beyond IT Systems,
extended deadline *May 5th, 2014*
Serge Autexier
- [Agda] 2nd CFP: Dependently Typed Programming 2014
Edwin Brady
- [Agda] Spanish keyboard + Agda input-mode
Michael Shulman
- [Agda] A different implementation of --without-K
Andreas Abel
- [Agda] Strict application
Andrés Sicard-Ramírez
- [Agda] Call for talk proposals: HOPE'14 (Workshop on Higher-Order
Programming with Effects, affiliated with ICFP'14)
Neelakantan Krishnaswami
- [Agda] GandALF 2014: Call for papers
murano
- [Agda] Types Meeting 2014 in Paris,
12 - 15 May: Last call for participation
Hugo Herbelin
- [Agda] Final CFP: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
- [Agda] dependency graph
Martin Escardo
- [Agda] WADT 2014 - 1st Call for Papers
2014 wadt
- [Agda] MIND, MECHANISM AND MATHEMATICS at Columbia University,
New York City, May 12-14, 2014 - registration open
S B Cooper
- [Agda] agda --latex inline code
Altenkirch Thorsten
- [Agda] [TFPIE2014] final call for participation
Peter Achten
- [Agda] A proof of omniscience in Agda
Martin Escardo
- [Agda] Deadline extended: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
- [Agda] Domain Theory Libraries for Agda?
Clarissa Littler
- [Agda] First Call for Papers: 26. OpenMath Workshop (at CICM 2014;
July 7. July 2014)
Michael Kohlhase
- [Agda] Known inconsistency not fixed in release for one year
Paolo G. Giarrusso
- [Agda] GandALF 2014: Extended deadlines
aniello murano
- [Agda] Another library question: categories
Clarissa Littler
- [Agda] First call for papers IFL 2014
publicityifl at gmail.com
- [Agda] beamer \setbeamercolor{math text} destroys agda --latex
colors for some characters
Andreas Abel
- [Agda] ICFP 2014 Student Research Competition: Call for Submissions
David Van Horn
- [Agda] Research position "Coalgebraic Logic Programming for Type
Inference"
Ekaterina Komendantskaya
- [Agda] One PhD position is available at the University of Dundee,
Scotland
Ekaterina Komendantskaya
- [Agda] Fwd: [Haskell] APLAS 2014: Last CFP
James Chapman
- [Agda] Higher inductive-recursive definitions?
Altenkirch Thorsten
- [Agda] Fwd: [Haskell] APLAS 2014: Extended deadline
James Chapman
- [Agda] Second Workshop on Haskell And Rewriting Techniques (HART
2014, co-located with ICFP 2014)
Janis Voigtlaender
- [Agda] Universes in Coq
Vladimir Voevodsky
- [Agda] small oddity of DistributesOver in the standard library 0.7
Kenichi Asai
- [Agda] Student Volunteer Programme
David Van Horn
- [Agda] LFMTP 2014: Call for Participation
Amy Felty
- [Agda] ITP'14: early registration deadline approaching
Gerwin Klein
- [Agda] Release: Agda 2.4.0
Ulf Norell
- [Agda] Termination checker change?
Pierre Hyvernat
- [Agda] Constructors are injective -- standard proof?
Jacques Carette
- [Agda] WADT 2014 - 2nd Call for Papers
2014 wadt
- [Agda] Final call for talk proposals: HOPE'14 (Workshop on
Higher-Order Programming with Effects, affiliated with ICFP'14)
Neelakantan Krishnaswami
- [Agda] Postdoctoral Research Position: Type Inference in Functional
Programming
Ekaterina Komendantskaya
- [Agda] Equations should hold definitionally whenever possible
Jesper Cockx
- [Agda] Standard library for Agda-2.4.0
Ulf Norell
- [Agda] Agda moving to GitHub
Ulf Norell
- [Agda] Vienna Summer of Logic: Call for participation
Sophie Tison
- [Agda] ANNOUNCE: Standard library version 0.8
Andrés Sicard-Ramírez
- [Agda] Agda's copatterns incompatible with initial algebras
Dmitriy Traytel
- [Agda] list equality decision procedure fails termination check
with Agda 2.4.0.1?
Brent Yorgey
- [Agda] adding StrictTotalOrder for Integer
Sergei Meshveliani
- [Agda] Wrong number of commits on GitHub
Andrés Sicard-Ramírez
- [Agda] Refactoring typechecking monads
Favonia
- [Agda] Agda 2.4.0.1
Ulf Norell
- [Agda] universum levels
Sergei Meshveliani
- [Agda] (no subject)
Tobias Wrigstad
- [Agda] (no subject)
Ernesto Copello
- [Agda] ICFP Call for Participation
David Van Horn
- [Agda] universe levels
Martin Escardo
- [Agda] SSTiC 2014: last-minute half-price registration
GRLMC
- [Agda] Records with parameters depending on fields?
Joachim Breitner
- [Agda] Game of Life
Christopher Jenkins
- [Agda] Kruskal's theorem
Sergei Meshveliani
- [Agda] termination by contradiction
Sergei Meshveliani
- [Agda] pattern matching on records
Amr Sabry
- [Agda] termination by contradiction
Sergei Meshveliani
- [Agda] Ramsey theorem
Sergei Meshveliani
- [Agda] Re: Issue 1225 in agda: cannot build Development Agda of
July 5, 2014
Sergei Meshveliani
- [Agda] Recursive instance search
Guillaume Brunerie
- [Agda] PEPM 2015 call for papers
Andreas Abel
- [Agda] Without-K puzzle
Ulf Norell
- [Agda] Without-K puzzle
Ulf Norell
- [Agda] Interactive copattern splitting
Andreas Abel
- [Agda] unification and HITs
Dan Licata
- [Agda] CFP Post-proceedings TYPES 2014 Types for Proofs and
Programs (open call)
Hugo Herbelin
- [Agda] Strange error when trying to install Agda 2.4.0.1 from cabal
Christopher Jenkins
- [Agda] Data.Vec toList - fromList isomorphism
Dan Krejsa
- [Agda] Re: Data.Vec toList - fromList isomorphism
Dan Krejsa
- [Agda] ICFP Programming Contest 2014
Nicolas Wu
- [Agda] HOPE 2014 Call for Participation (with Workshop Program)
Hongseok Yang
- [Agda] LOPSTR 2014: Call for Participation
Maurizio Proietti
- [Agda] Call for Papers PSC track at SAC 2015
Emiliano Tramontana
- [Agda] Maintenance status of Agda dependencies
Joachim Breitner
- [Agda] AIM XX
Jesper Cockx
- [Agda] Agda 2.4.0.2 released
Andreas Abel
- [Agda] Theoretical limits of termination checking (reference
request)
Kirill Elagin
- [Agda] Agda executables names
Andrés Sicard-Ramírez
- [Agda] ICFP 2014 Final Call for Participation
David Van Horn
- [Agda] Haskell Symposium – Call for participation
Wouter Swierstra
- [Agda] with vs case example
Sergei Meshveliani
- [Agda] "data Null" for List
Sergei Meshveliani
- [Agda] about Null
Sergei Meshveliani
- [Agda] hiding implementation
Sergei Meshveliani
- [Agda] all-P ?
Sergei Meshveliani
- [Agda] Second call for papers IFL 2014
planpublicity at gmail.com
- [Agda] Sized types problem
Roly Perera
- [Agda] Fully funded PhD position on Computational Logic/Functional
Programming/Interactive Theorem Proving, University of Dundee,
Scotland
Ekaterina Komendantskaya
- [Agda] 2nd CFP Post-proceedings TYPES 2014 Types for Proofs and
Programs (open call)
Hugo Herbelin
- [Agda] irrelevant arg example
Sergei Meshveliani
- [Agda] Agda-mode and imported names
Pepijn Kokke
- [Agda] LATA 2015: 2nd call for papers
GRLMC - URV
- [Agda] explicit irrelevance
Sergei Meshveliani
- [Agda] --jobs?
Mateusz Kowalczyk
- [Agda] Positivity of members of Set
Owen
- [Agda] Termination problem with --without-K
Jacques Carette
- [Agda] Agda 2.4.2
Ulf Norell
- [Agda] ANNOUNCE: Standard library version 0.8.1
Andrés Sicard-Ramírez
- [Agda] Final CFP Post-proceedings TYPES 2014 Types for Proofs and
Programs (open call, extended deadline)
Hugo Herbelin
- [Agda] foo ∘ fromFoo strangeness
Sergei Meshveliani
- [Agda] Third call for papers, IFL 2014
publicityifl at gmail.com
- [Agda] Working with Agda inside nix-shell
Mateusz Kowalczyk
- [Agda] AIM XX in Tallinn 16-22 October 2014
James Chapman
- [Agda] postdoc position(s) announcement
Vladimir Voevodsky
- [Agda] ATVA 2014: Call for Participation
Franck
- [Agda] Agda meeting (AIM XX) in Tallinn 16-22 October (one month
tomorrow!)
James Chapman
- [Agda] Re: [Coq-Club] Questions about two theorems
Thorsten Altenkirch
- [Agda] AIM XX registration now open!
James Chapman
- [Agda] with -> case example
Sergei Meshveliani
- [Agda] strange " ,′ "
Sergei Meshveliani
- [Agda] untabify: Warning to those that have forked Agda
Andreas Abel
- [Agda] Agda and GHC 7.8
Jan Stolarek
- [Agda] font issue in emacs mode
Martin Escardo
- [Agda] Size limit on generated code?
Roly Perera
- [Agda] Status of Agda libraries
Mateusz Kowalczyk
- [Agda] How much memory do I need to compile Agda 2.4.2?
Gyesik Lee
- [Agda] Normalization by evaluation,
plain Agda types and impredicativity.
flicky frans
- [Agda] AIM XX in Tallinn - 4 days left to register
James Chapman
- [Agda] Re: Normalization by evaluation,
plain Agda types and impredicativity.
flicky frans
- [Agda] Tactics in Agda
Jesper Cockx
- [Agda] wiki empty?
Martin Escardo
- [Agda] Embedded universe polymorphic programming.
flicky frans
- [Agda] Restrictions on 'with' introductions?
Dan Krejsa
- [Agda] windows installation instructions
Thorsten Altenkirch
- [Agda] ICFP 2015 Call for Workshop and Co-located Event Proposals
David Van Horn
- [Agda] Mathematics of Program Construction (MPC 2015): first call
for papers
José Pedro Magalhães
- [Agda] map⊆
Sergei Meshveliani
- [Agda] LICS 2015 - First Call for Papers
Andrzej Murawski
- [Agda] (Stronger) double negation of law of excluded middle
Dmytro Starosud
- [Agda] Expanding literate Agda
Pepijn Kokke
- [Agda] simple question
Andrew Harris
- [Agda] Internal error at
src/full/Agda/TypeChecking/Substitute.hs:144
Helmut Grohne
- [Agda] TLCA: 1st CALL for PAPERS
Luca
- [Agda] explicit irrelevance question
Sergei Meshveliani
- [Agda] CFP: Relational and Algebraic Methods in Computer Science
(RAMiCS 2015)
Michael Winter
- [Agda] Info on interacting with the Agda process
Mateusz Kowalczyk
- [Agda] ICALP 2015 first call for papers
Andreas Abel
- [Agda] ℕ ⊆ P U Q -> ¬ isFinite P or ...
Sergei Meshveliani
- [Agda] Puzzled about how instance arguments work in the presence of
metas
Jesper Cockx
- [Agda] `with' -> `case' example
Sergei Meshveliani
- [Agda] join 2 `with'|
mechvel at scico.botik.ru
- [Agda] Severe performance regression on master
Andreas Abel
- [Agda] release schedule, coding suggestions, book
Aaron Stump
- [Agda] difficult module instantiation
Sergei Meshveliani
- [Agda] ICFP 2015: Call for Papers
David Van Horn
- [Agda] Termination checking
Francesco Mazzoli
- [Agda] question on parametric modules
Sergei Meshveliani
- [Agda] RDP 2015 Last Call for Workshops
Aleksy Schubert
- [Agda] First CFP CICM 2015
Serge Autexier
- [Agda] ANNOUNCE: Agda 2.4.2.1
Andrés Sicard-Ramírez
- [Agda] ANNOUNCE: Standard library 0.9
Andrés Sicard-Ramírez
- [Agda] ANNOUNCE: Agda 2.4.2.1
silvio at cs.ioc.ee
- [Agda] 2.4.2.1 installation issue
Aaron Stump
- [Agda] Final Call - 12th Annual Conference on Theory and
Applications of Models of Computation (TAMC 2015),
Singapore 18-20 May, 2015
CIE (S B Cooper)
- [Agda] strange PE.refl ambiguity
Sergei Meshveliani
- [Agda] Possible bug when using "with" on a partially applied
function
Christopher Jenkins
- [Agda] Telescope syntax
Guillaume Brunerie
- [Agda] ANNOUNCE: Agda 2.4.2.2
Andrés Sicard-Ramírez
- [Agda] INTECH 2015 @ Spain
edprocess at dline.info
- [Agda] Maxime Dene's bug fixed
Thorsten Altenkirch
- [Agda] termination for nested construct
Sergei Meshveliani
- [Agda] Epic backend question: EpicInclude.e doesn't compile
Hans Peter Würmli
- [Agda] New list agda-dev
Andreas Abel
- [Agda] question about instance arguments
Peter Selinger
- [Agda] 2 PostDocs in HoTT
Thorsten Altenkirch
- [Agda] question about instance arguments
Peter Selinger
- [Agda] I'm not sure... case for the constructor ...,
because I get stuck when trying to solve...
Dmytro Starosud
- [Agda] First call for papers LOPSTR 2015 -- 25th International
Symposium
on Logic-Based Program Synthesis and Transformation -- Siena, Italy
FALASCHI MORENO
- [Agda] PPDP 2015 Call for papers -- 17th International Symposium on
Principles and Practice of Declarative Programming -- Siena, Italy
FALASCHI MORENO
- [Agda] Poll: maintain support for ghc-7.0 ?!
Andreas Abel
- [Agda] Agda and Emacs mode
Andrej Bauer
- [Agda] Agda and Emacs mode
Mateusz Kowalczyk
- [Agda] CFP: ICADIWT 2015 at Hong Kong
edprocess at dline.info
- [Agda] Example Runnable Agda Programs
Philipp Hausmann
- [Agda] LICS 2015 - Last Call for Papers
Andrzej Murawski
- [Agda] proofs with "with"
Peter Selinger
- [Agda] proofs with "with"
Wolfram Kahl
- [Agda] PhD studentship on Homotopy Type Theory in Nottingham
Thorsten Altenkirch
- [Agda] How can I prove associativity of vectors?
Kenichi Asai
- [Agda] CFP: TFPIE 2015
Johan Jeuring
- [Agda] termination checking
Peter Selinger
- [Agda] [TFP2015] 1st call for papers
Peter Achten
- [Agda] PhD studentship on dependent type theory for concurrent
processes
Martin Berger
- [Agda] Inspect.
flicky frans
- [Agda] `postulate' under `with'
Sergei Meshveliani
- [Agda] Agda student's research
Peter Divianszky
- [Agda] with x =? x
Sergei Meshveliani
Last message date:
Wed Dec 31 23:43:22 CEST 2014
Archived on: Wed Dec 31 23:43:25 CEST 2014
This archive was generated by
Pipermail 0.09 (Mailman edition).