|
|
54d91dc6cf
|
[haskell] add newton-raphson square root program
|
2023-08-18 17:23:57 +05:30 |
|
|
|
e7d8161acb
|
[coq] safe head of list
|
2023-06-28 11:28:01 +05:30 |
|
|
|
09ede3acde
|
[haskell] brzozowski derivative
|
2023-06-26 17:12:11 +05:30 |
|
|
|
41eb5cf26a
|
Merge branch 'master' of https://tildegit.org/famubu/playground
|
2023-06-19 10:20:20 +05:30 |
|
|
|
046111afe7
|
[coq] update extlib-hlist.v with 2 more functions
|
2023-06-19 10:20:13 +05:30 |
|
|
|
5c768c6d98
|
[python] start a turtle example
|
2023-06-19 08:05:33 +05:30 |
|
|
|
3db48e8232
|
include old haskell files
|
2023-05-23 22:52:25 +05:30 |
|
|
|
bc96438a06
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
|
|
|
4bca282ab4
|
more files including prf files of pvs
|
2023-05-23 22:25:17 +05:30 |
|
|
|
9afee48c78
|
add a bunch of old files
|
2023-05-23 22:04:54 +05:30 |
|
|
|
dfe68734ba
|
add few old coq files
|
2023-05-22 14:41:06 +05:30 |
|
|
|
086e8fbaf5
|
correction: include ilists.v
|
2023-05-18 12:20:36 +05:30 |
|
|
|
2b5e40eeaa
|
[coq] include cpdt/ilist.v
|
2023-05-18 12:19:38 +05:30 |
|
|
|
83d0b22c06
|
[coq] try coq-ext-lib hlist
|
2023-05-16 22:43:35 +05:30 |
|
|
|
a609908ccf
|
[coq] some list bool stuff
|
2023-05-16 12:05:59 +05:30 |
|
|
|
6a5dbec769
|
[coq] bitvectors and 'sets'
|
2023-05-15 17:03:26 +05:30 |
|
|
|
12fdca2fa9
|
[coq] remembering bitvectors
|
2023-05-15 11:17:51 +05:30 |
|
|
|
068325ceff
|
add old cpp files
|
2023-05-02 15:17:56 +05:30 |
|
|
|
081f13ab50
|
add 8/99 haskell problems and some of hottest-2022
|
2023-05-02 15:04:44 +05:30 |
|
|
|
71c95c351e
|
[apl] tried some apl
|
2023-04-30 23:19:40 +05:30 |
|
|
|
94adfbce77
|
[c] found some old c progs
|
2023-04-30 12:22:46 +05:30 |
|
|
|
4d708d1f6f
|
[sml] regex match using cps
|
2023-04-27 13:08:32 +05:30 |
|
|
|
19b46bf36d
|
various
|
2023-04-26 22:34:49 +05:30 |
|
|
|
c800042ddb
|
various old stuff
|
2023-04-26 22:32:37 +05:30 |
|
|
|
8f44ce9775
|
[vhdl] old files
|
2023-04-26 22:15:38 +05:30 |
|
|
|
8651e91588
|
[pvs] few old files
|
2023-04-26 22:02:36 +05:30 |
|
|
|
467359fda3
|
[lua] add old snippets
|
2023-04-26 21:54:02 +05:30 |
|
|
|
8f06213af4
|
[coq] add de-morgan laws
|
2023-04-26 21:41:31 +05:30 |
|
|
|
0b5c5982ee
|
[sml] add old sml files
|
2023-04-08 14:19:57 +05:30 |
|
|
|
7218c99d19
|
make coq dir
|
2023-04-08 12:58:55 +05:30 |
|
|
|
6e30884d84
|
[coq] edit sumn.v
|
2023-04-07 22:12:42 +05:30 |
|
|
|
cb784cafd4
|
[coq] make sumn.v
|
2023-04-07 21:50:29 +05:30 |
|
