5 Commits

Author	SHA1	Message	Date
Julin S	8d30806189	more old files	2024-02-25 12:40:46 +05:30
Julin S	0de0726474	add a bunch of old files	2024-02-25 12:35:53 +05:30
Julin S	3db48e8232	include old haskell files	2023-05-23 22:52:25 +05:30
Julin S	12fdca2fa9	[coq] remembering bitvectors	2023-05-15 11:17:51 +05:30
Julin S	94adfbce77	[c] found some old c progs	2023-04-30 12:22:46 +05:30