Julin S 0727fa837d [agda] add an example of using record type		2024-02-29 23:24:14 +05:30
..
hottest-2022	add 8/99 haskell problems and some of hottest-2022	2023-05-02 15:04:44 +05:30
add-assoc.agda	include old haskell files	2023-05-23 22:52:25 +05:30
hello.agda	include old haskell files	2023-05-23 22:52:25 +05:30
hott.agda	include old haskell files	2023-05-23 22:52:25 +05:30
pair-record.agda	[agda] add an example of using record type	2024-02-29 23:24:14 +05:30
vectors.agda	include old haskell files	2023-05-23 22:52:25 +05:30