Tags

Tags give the ability to mark specific points in history as being important

report-igitur

73a6e498 · added ICA identifier to report title page · Aug 29, 2014
```
uploaded thesis report to UU Igitur
```
Unverified
thesis-defense-final

91eea2a8 · final commit of thesis-defense slide · Aug 26, 2014
```
slides as used in thesis defense - Do. 28.08.2014
```
Unverified

report-final

267c0aa4 · final spellcheck · Aug 20, 2014

Version of report handed in for grading by supervisor and second examiner

report-review-friends

92971acb · All haskell code in their own files · Aug 18, 2014
```
sent for friends to do some proofreading
```
Unverified
report-review-4

dcc7203b · table of contents and nice link colors · Aug 17, 2014
```
as sent for report review 4
```
Unverified
report-review-3

71f2ec52 · 75% to 80% through with discussion · Aug 13, 2014
```
As handed in for report review 3, last one before text completed
```
Unverified
report-review-2

8a189695 · Going for circuit semantics on report · Aug 05, 2014
```
as handed in for review 2 by supervisor
```
Unverified
report-review-1

b9582f89 · review · Jul 21, 2014
```
review of intro and background by supervisor
```
Unverified
report-initial

445688b5 · work in the final report, intro · Jun 20, 2014
```
initial final report
```
Unverified
stage1-coquet-wireslang-newdirs

971d862a · new directory structure, separating agda code and non-code thesis material · Mar 13, 2014
```
new directory structure, separating agda code and non-code thesis material
```
Unverified
stage1-coquet-wireslang-modular

24ab8712 · moved "numeric-only" version of Circuit to limbo, now nicely separated modules... · Mar 13, 2014
```
Wires type is idx to Circuit type, modules separated, examples working, eval missing only Plug but I have an idea
```
Unverified

stage1-coquet-natsizes-eval

499b7ae8 · Finished with Plug case the eval for ℂ Bool · Mar 04, 2014

Eval done for a Coquet-like lang, but with pure Nats as circuit interfaces. Stuck trying to define plugs

stage1-coquet-wireslang-attempt

1cd7342f · language of sizes closely imitating Coquet's. Evaluation and plugs are probably going to be hard · Mar 05, 2014
```
Attempting to closely follow Coquet's approach, with "interface language"
```
Unverified
stage1-noeval-noproofs

d1de0e6f · began trying to evaluate the "PHOAS-style-Lava" circuit type, stuck at "strictly positive" problem · Feb 22, 2014
```
PHOAS-style-Lava stuck at trying to write evaluation function, no proving yet
```
Unverified