7 Commits

Author	SHA1	Message	Date
Jan Mas Rovira	aa3052d230	delete and ignore .ghci	2021-12-28 17:20:36 +01:00
Jan Mas Rovira	cf82ce8a44	add syntax example (without usages). Adapt Language.hs	2021-12-24 18:58:20 +01:00
Jan Mas Rovira	c97a3943c5	remove cabal file	2021-12-23 10:59:17 +01:00
Jonathan Prieto-Cubides	5c3b3d3ad6	[ docs ] added ways to have the docs locally using pandoc	2021-12-04 14:17:49 +01:00
Jonathan Prieto-Cubides	a56e4f4f89	[ .gitignore ] added agda folders	2021-11-11 18:26:02 +01:00
Jonathan Prieto-Cubides	8853b30cd5	Added agda ignores	2021-10-18 16:45:34 +02:00
Jonathan Prieto-Cubides	48abde93b4	First commit, initial project template.	2021-09-26 18:59:51 +02:00