baco
/
l-c2019
mirror of https://gitlab.com/baco/l-c2019.git
1
0
Fork 0
Code Issues Releases Wiki Activity
109 Commits 3 Branches 5 Tags 130 KiB
Commit Graph

109 Commits

Author SHA1 Message Date
Dionisio E Alonso 3a893cdb62 feat(coding-style): Correct coding style to examples 2023-04-19 23:03:20 -03:00
Dionisio E Alonso 380c9bdabb feat(coding-style): Correct coding style 2023-04-19 22:49:55 -03:00
Dionisio E Alonso 215938367b feat(coding-style): Update comments syntax for examples 2023-04-19 22:17:41 -03:00
Dionisio E Alonso b1dc7bc335 Add info in README 2019-08-07 21:37:39 -03:00
Dionisio E Alonso a136ba4708 Move auxiliary document 2019-08-07 21:30:22 -03:00
Dionisio E Alonso 92c10532e2 Added README to docs section 2019-08-07 21:28:24 -03:00
Dionisio E Alonso 929320b91c Add license to LaTeX documents 2019-08-07 17:06:02 -03:00
Dionisio E Alonso dc2c372934 Minor changes 2019-08-03 23:31:41 -03:00
Dionisio E Alonso e88eb9acff Add title to document 2019-08-03 22:00:01 -03:00
Dionisio E Alonso d97557462e Add Teo Coincidencia and Teo Renombre 2019-08-03 21:58:35 -03:00
Dionisio E Alonso 78b020b1ba Add title to document 2019-08-03 21:58:03 -03:00
Dionisio E Alonso 860cfbc043 Add missing info on proofs 2019-08-03 21:54:34 -03:00
Dionisio E Alonso 91e7f833c6 Correct alignment on equation 2019-08-03 21:54:10 -03:00
Dionisio E Alonso b1c502a5b0 Replace xrightarrow for better inline display 2019-08-02 17:48:31 -03:00
Dionisio E Alonso 77ffa97357 Add title to Beta and Eta proofs 2019-08-02 17:45:47 -03:00
Dionisio E Alonso 154a3c4b55 Reduce title spacing 2019-07-30 22:28:09 -03:00
Dionisio E Alonso e01568847c Correct printing of page number 2019-07-30 22:10:58 -03:00
Dionisio E Alonso b6430beb19 Print document title 2019-07-30 22:08:37 -03:00
Dionisio E Alonso 014a0f6590 Add Iswim denotational proof for newvar operator 2019-07-30 22:04:22 -03:00
Dionisio E Alonso 3895f5b370 Add document title 2019-07-30 22:04:08 -03:00
Dionisio E Alonso aeb0276a9d Add Iswim operational proof for newvar operator 2019-07-30 21:38:54 -03:00
Dionisio E Alonso 06a1eb2215 Correct some proof's errors 2019-07-30 21:38:12 -03:00
Dionisio E Alonso 93467938be Minor notation corrections 2019-07-30 21:21:35 -03:00
Dionisio E Alonso ed28e12662 Add one sample using new lambda expression 2019-07-30 21:18:31 -03:00
Dionisio E Alonso 8d8e9896d1 Add Iswim denotational proof for sequence operator 2019-07-30 21:12:22 -03:00
Dionisio E Alonso ae7b92df12 Correct proofs' names 2019-07-30 21:08:26 -03:00
Dionisio E Alonso 3fb510c437 Add Iswim operational sequence operator proof 2019-07-30 20:44:46 -03:00
Dionisio E Alonso 8313ed2c2e Add custom command definition for lambda expressions 2019-07-25 23:25:32 -03:00
Dionisio E Alonso 6f256528d1 Add title to document 2019-07-25 23:23:03 -03:00
Dionisio E Alonso 09b99c1069 Add Beta's and Eta's rules proofs 2019-07-17 19:51:39 -03:00
Dionisio E Alonso fe7e6c01c4 Make all under/overset texts of size scriptsize 2019-07-17 19:50:15 -03:00
Dionisio E Alonso a0f763edbc Correct all new as subindex to be text in italics 2019-07-17 19:49:07 -03:00
Dionisio E Alonso 54ad0a7726 Add theorem's definition to have more context 2019-07-17 19:45:11 -03:00
Dionisio E Alonso ca90fb565e Add rec, ref and val commands a parameter to each of them 2019-06-20 19:39:56 -03:00
Dionisio E Alonso 50cdb101b2 Change letrec-in commands into only one 2019-06-20 19:29:44 -03:00
Dionisio E Alonso f2cc93170e Change newvar-in commands into only one 2019-06-20 19:10:11 -03:00
Dionisio E Alonso d16eb6ec91 Change while-do commands into only one 2019-06-20 19:00:01 -03:00
Dionisio E Alonso 108b7ed451 Change if-then-else commands into only one 2019-06-20 18:52:16 -03:00
Dionisio E Alonso b1fba825f1 Add personal docs downloaded from OverLeaf 2019-06-19 20:53:24 -03:00
Dionisio E Alonso 55690861fb Add example for Output/Input using Catch and If 2019-05-24 23:57:10 -03:00
Dionisio E Alonso 284e5b02fb Add example for Output/Input using Catch 2019-05-24 23:44:18 -03:00
Dionisio E Alonso 3550a7ee9b Minor correction in comment 2019-05-24 23:43:48 -03:00
Dionisio E Alonso 15fedc3afa Delete unused file 2019-05-24 23:28:53 -03:00
Dionisio E Alonso e2e8b0fc4d Add example for Output/Input using If 2019-05-24 23:27:57 -03:00
Dionisio E Alonso b0f986a90d Update README.rst 2019-05-22 11:38:46 +00:00
Dionisio E Alonso 1bdd40bd3d Add examples for Output and Input operators in .hs 
This version uses the module feature of Haskell and has all the examples
in a separate .hs file.
 2019-05-22 00:03:00 -03:00
Dionisio E Alonso 6f95ab6728 Add examples for Output and Input operators 2019-05-21 23:48:06 -03:00
Dionisio E Alonso a12cfeb8f9 Make minor cosmetic changes in operators from Lab4 2019-05-21 20:38:29 -03:00
Dionisio E Alonso 5a4c2a6ad7 Add Output and Input, syntax and semantic functions 2019-05-21 20:08:30 -03:00
Dionisio E Alonso b996a8b126 Copy semantics for operators implemented in Lab4 
The While operator needed a minor type adjustment inside its semantic,
type for internal F function changed.
 2019-05-21 20:03:02 -03:00