We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c082bb2 commit 27d7f1fCopy full SHA for 27d7f1f
2 files changed
src/fixpoint/fixpoint.ml
@@ -1,7 +1,7 @@
1
(** Püsipunktid.
2
3
Vt. "Introduction to Compiler Design" õpikust, peatükk 1.5.1.
4
- Vt. Vesali "The Sulund Design Pattern™" slaide. *)
+ Vt. Slaidid. *)
5
6
(** Püsipunktid üle suvalise võrreldava tüübi. *)
7
module Make (D: sig type t [@@deriving eq] end) =
test/fixpoint/transition_test.ml
@@ -1,4 +1,4 @@
-(** Transitiivse sulundi näide Vesali "The Sulund Design Pattern™" slaididelt. *)
+(** Transitiivse sulundi näide slaididelt. *)
open OUnit2
open Fixpoint
0 commit comments