« back to all changes in this revision
Viewing changes to notes/papers/implicit/examples/Simple.agda
- Committer: Package Import Robot
- Date: 2014-08-05 06:38:12 UTC
- mfrom: (1.1.6)
- Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc
- files added:
- CHANGELOG
- dist
- dist/build
- dist/build/Agda
- dist/build/Agda/Syntax
- dist/build/Agda/Syntax/Parser
- src/data/lib
- src/data/lib/prim
- src/data/lib/prim/Agda
- src/full/Agda/Interaction/Options
- src/full/Agda/TypeChecking/Monad/Base
- src/full/Agda/TypeChecking/Reduce
- src/full/Agda/TypeChecking/SizedTypes
- src/full/Agda/Utils/Graph
- src/full/Agda/Utils/Graph/AdjacencyMap
- src/full/Agda/Utils/Maybe
- files removed:
- .authorspellings
- benchmark
- benchmark/Syntacticosmos
- benchmark/ac
- benchmark/categories
- benchmark/cwf
- benchmark/logs
- benchmark/logs/20071213-12.58-dhcp-246-168
- benchmark/logs/20071219-11.21-livia
- benchmark/logs/20080306-11.43-livia
- benchmark/logs/20080306-11.59-livia
- benchmark/logs/20080407-14.00-dhcp-243-41
- benchmark/logs/20080730-12.47-ulf-norells-macbook-pro
- benchmark/logs/20081126-12.59-ulf-norells-macbook-pro
- benchmark/logs/20081126-15.26-ulf-norells-macbook-pro
- benchmark/logs/20081127-09.18-ulf-norells-macbook-pro
- benchmark/logs/20081127-21.23-ulf-norells-macbook-pro
- benchmark/logs/20081201-12.53-ulf-norells-macbook-pro
- benchmark/logs/20081201-12.55-ulf-norells-macbook-pro
- benchmark/logs/20081201-13.09-ulf-norells-macbook-pro
- benchmark/logs/20090423-08.30-ulf-norells-macbook-pro
- benchmark/logs/20100113-19.32-dhcp-20-76
- benchmark/logs/20110629-21.47-ulf-norells-macbook-pro
- benchmark/logs/20110701-09.48-dhcp-183029
- benchmark/logs/20110706-10.42-dhcp-186038
- benchmark/logs/20110706-16.14-dhcp-186038
- benchmark/logs/20110822-09.36-dhcp-190251
- benchmark/logs/20110822-13.57-dhcp-190251
- benchmark/logs/20110823-07.51-ulf-norells-macbook-pro
- benchmark/logs/20110823-08.00-ulf-norells-macbook-pro
- benchmark/logs/20110824-18.56-ulf-norells-macbook-pro
- benchmark/logs/20110825-14.57-ulf-norells-macbook-pro
- benchmark/logs/20110830-17.10-dhcp-178109
- benchmark/logs/20110830-18.20-dhcp-178109
- benchmark/logs/20110901-08.43-Ulfs-MacBook-Pro
- benchmark/logs/20110901-12.30-Ulfs-MacBook-Pro
- benchmark/logs/20110901-13.33-Ulfs-MacBook-Pro
- benchmark/logs/20110902-12.38-Ulfs-MacBook-Pro
- benchmark/logs/20110906-12.30-Ulfs-MacBook-Pro
- benchmark/logs/20110907-01.19-Ulfs-MacBook-Pro
- benchmark/logs/20110907-03.11-Ulfs-MacBook-Pro
- benchmark/logs/20110907-03.26-Ulfs-MacBook-Pro
- benchmark/logs/20110907-04.48-Ulfs-MacBook-Pro
- benchmark/logs/20110907-05.32-Ulfs-MacBook-Pro
- benchmark/logs/20110908-14.00-Ulfs-MacBook-Pro
- benchmark/logs/20110909-23.56-Ulfs-MacBook-Pro
- benchmark/logs/20110910-23.55-Ulfs-MacBook-Pro
- benchmark/logs/20110915-07.38-Ulfs-MacBook-Pro
- benchmark/logs/20110915-08.47-Ulfs-MacBook-Pro
- benchmark/logs/20110915-09.14-Ulfs-MacBook-Pro
- benchmark/logs/20110915-13.11-Ulfs-MacBook-Pro
- benchmark/logs/20110919-16.46-Ulfs-MacBook-Pro
- benchmark/logs/20110922-22.40-Ulfs-MacBook-Pro
- benchmark/logs/20110924-09.49-Ulfs-MacBook-Pro
- benchmark/logs/20110924-10.04-Ulfs-MacBook-Pro
- benchmark/logs/20110924-10.14-Ulfs-MacBook-Pro
- benchmark/logs/20120216-13.00-Ulfs-MacBook-Pro
- benchmark/logs/20120329-12.19-Ulfs-MacBook-Pro
- benchmark/logs/20120406-10.19-Ulfs-MacBook-Pro
- benchmark/logs/20120509-13.01-Ulfs-MacBook-Pro
- benchmark/logs/20120702-14.40-Ulfs-MacBook-Pro
- benchmark/logs/20120705-07.39-Ulfs-MacBook-Pro
- benchmark/logs/20121005-18.37-Ulfs-MacBook-Pro
- benchmark/logs/20121005-20.31-Ulfs-MacBook-Pro
- benchmark/misc
- benchmark/monad
- benchmark/proj
- benchmark/std-lib
- doc
- doc/HCAR
- doc/haddock
- doc/pfe
- doc/pfe/fake
- doc/pfe/fake/Data
- doc/pfe/fake/Syntax
- doc/pfe/fake/Syntax/Parser
- doc/release-notes
- examples
- examples/AIM4
- examples/AIM4/bag
- examples/AIM5
- examples/AIM5/Hedberg
- examples/AIM5/PolyDep
- examples/AIM5/PolyDep/Homogenous
- examples/AIM5/yoshiki
- examples/AIM6
- examples/AIM6/HelloAgda
- examples/AIM6/Path
- examples/AIM6/RegExp
- examples/AIM6/RegExp/talk
- examples/Introduction
- examples/Introduction/Data
- examples/Introduction/Modules
- examples/Miller
- examples/SummerSchool07
- examples/SummerSchool07/Exercises
- examples/SummerSchool07/Lecture
- examples/SummerSchool07/Solutions
- examples/Termination
- examples/Termination/Common
- examples/Termination/Sized
- examples/arith
- examples/compiler
- examples/instance-arguments
- examples/lib
- examples/lib/Data
- examples/lib/Data/Nat
- examples/lib/Data/Real
- examples/lib/Logic
- examples/lib/Logic/Structure
- examples/malformed
- examples/order
- examples/outdated-and-incorrect
- examples/outdated-and-incorrect/AIM6
- examples/outdated-and-incorrect/AIM6/Cat
- examples/outdated-and-incorrect/AIM6/Cat/lib
- examples/outdated-and-incorrect/AIM6/Cat/lib/Data
- examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Nat
- examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real
- examples/outdated-and-incorrect/AIM6/Cat/lib/Logic
- examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/Structure
- examples/outdated-and-incorrect/Alonzo
- examples/outdated-and-incorrect/DTP08
- examples/outdated-and-incorrect/DTP08/conor
- examples/outdated-and-incorrect/DTP08/ulf
- examples/outdated-and-incorrect/NestedDataTypes
- examples/outdated-and-incorrect/OTT
- examples/outdated-and-incorrect/cat
- examples/outdated-and-incorrect/cbs
- examples/outdated-and-incorrect/clowns
- examples/outdated-and-incorrect/fileIO
- examples/outdated-and-incorrect/fileIO/IO
- examples/outdated-and-incorrect/iird
- examples/outdated-and-incorrect/iird/Logic
- examples/outdated-and-incorrect/iird/Proof
- examples/outdated-and-incorrect/iird/new
- examples/outdated-and-incorrect/lattice
- examples/outdated-and-incorrect/syntax
- examples/outdated-and-incorrect/tactics
- examples/outdated-and-incorrect/tactics/bool
- examples/outdated-and-incorrect/tait
- examples/outdated-and-incorrect/univ
- examples/relocatable
- examples/relocatable/originals
- examples/simple-lib
- examples/simple-lib/Lib
- examples/sinatra
- examples/syntax
- examples/syntax/highlighting
- examples/tactics
- examples/tactics/ac
- examples/vfl
- macros
- mk
- notes
- notes/design
- notes/papers
- notes/papers/iird
- notes/papers/implicit
- notes/papers/implicit/examples
- notes/papers/modules
- notes/review
- notes/review/patrik
- notes/talks
- notes/talks/MetaVars
- notes/talks/Modules
- notes/talks/Types07
- notes/talks/video060320
- notes/talks/video060510
- notes/typechecking
- src/compat
- src/compat/Control
- src/compat/Control/Monad
- src/compat/Data
- src/compat/Data/ByteString
- src/compat/Data/Monoid
- src/core
- src/core/Thierry
- src/fix-agda-whitespace
- src/full/Agda/Packaging
- src/full/Agda/Utils/Monad
- src/hTags
- src/pkg
- src/pkg/Interface
- src/pkg/Interface/Command
- src/prototyping
- src/prototyping/eval
- src/prototyping/eval/Data
- src/prototyping/mixfix
- src/prototyping/mixfix/benchmarks
- src/prototyping/mixfix/old
- src/prototyping/modules
- src/prototyping/modules/flat
- src/prototyping/nameless
- src/prototyping/subst
- src/prototyping/termrep
- src/prototyping/termrep/Syntax
- src/prototyping/termrep/Terms
- src/prototyping/termrep/Types
- src/prototyping/termrep/lambdapi
- src/prototyping/terms
- src/prototyping/trace
- src/rts
- src/transl
- src/transl/agda
- src/transl/test
- test
- test/Common
- test/bugs
- test/bugs/fixed
- test/compiler
- test/core
- test/epic
- test/epic/Prelude
- test/epic/tests
- test/epic/tests/bin
- test/fail
- test/fail/A
- test/fail/A/B
- test/fail/Imports
- test/fail/customised
- test/fail/customised/Imports
- test/features
- test/interaction
- test/interaction/Error-in-imported-module
- test/interaction/Highlighting
- test/interaction/Imports
- test/interaction/Issue591
- test/js
- test/lib-succeed
- test/succeed
- test/succeed/Issue204
- test/succeed/LineEndings
- files modified:
- Agda.cabal
added
removed
notes/papers/implicit/examples/Simple.agda
