mirror of
https://github.com/Jaxan/nominal-lstar.git
synced 2025-04-27 14:47:45 +02:00
20 lines
603 B
Haskell
20 lines
603 B
Haskell
module Examples
|
|
( module Examples
|
|
, module Examples.Contrived
|
|
, module Examples.ContrivedNFAs
|
|
, module Examples.Fifo
|
|
, module Examples.RunningExample
|
|
, module Examples.Stack
|
|
) where
|
|
|
|
import Examples.Contrived
|
|
import Examples.ContrivedNFAs
|
|
import Examples.Fifo
|
|
import Examples.RunningExample
|
|
import Examples.Stack
|
|
import NLambda (Atom)
|
|
import Teacher (teacherWithTarget, Teacher)
|
|
|
|
-- Wrapping it in a teacher
|
|
exampleTeacher :: Teacher Atom
|
|
exampleTeacher = teacherWithTarget example4
|