Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Christopher League
cms
Commits
501befe7
Commit
501befe7
authored
Feb 27, 2020
by
Christopher League
Browse files
Don't submit A3 online
parent
581b7605
Changes
1
Hide whitespace changes
Inline
Side-by-side
App/Assn3.hs
View file @
501befe7
...
...
@@ -15,32 +15,7 @@ import App.Activity
import
App.YamlStore
import
App.User
import
App.Prelude
import
qualified
Data.Set
as
Set
import
qualified
Data.Map
as
Map
import
Data.Maybe
(
fromJust
)
import
App.Foundation
import
qualified
Hedgehog.Internal.Gen
as
Gen
import
qualified
Hedgehog.Internal.Tree
as
Gen
()
import
qualified
Hedgehog.Internal.Seed
as
Gen
(
from
)
import
qualified
Hedgehog.Gen
as
Gen
import
Hedgehog
(
Gen
)
import
Text.Show
(
showString
,
showParen
,
shows
)
import
Data.Bits
newtype
Bit
=
Bit
Bool
deriving
(
Eq
,
Enum
,
Bounded
)
instance
Show
Bit
where
showsPrec
_
(
Bit
b
)
=
shows
(
fromEnum
b
)
instance
Enum
(
Bit
,
Bit
)
where
fromEnum
(
x
,
y
)
=
2
*
fromEnum
x
+
fromEnum
y
toEnum
i
=
(
toEnum
(
i
`
div
`
2
),
toEnum
(
i
`
mod
`
2
))
instance
Enum
(
Bit
,
Bit
,
Bit
)
where
fromEnum
(
x
,
y
,
z
)
=
4
*
fromEnum
x
+
fromEnum
(
y
,
z
)
toEnum
i
=
(
toEnum
(
i
`
div
`
4
),
y
,
z
)
where
(
y
,
z
)
=
toEnum
(
i
`
mod
`
4
)
assn3
::
Activity
assn3
=
...
...
@@ -48,7 +23,7 @@ assn3 =
a3SubmittedBadge
::
Widget
a3SubmittedBadge
=
submittedPointsBadge
assn3
\
uid
->
submittedPointsBadge
assn3
\
_
->
return
False
data
A2GivenKey
=
A2GivenKey
...
...
@@ -67,8 +42,6 @@ handleU2LogicAssnR :: Handler Html
handleU2LogicAssnR
=
do
uid
<-
requireAuthId
exprOpt
<-
runRo
$
(
^.
at
uid
)
<$>
loadY
A2GivenKey
let
bits
::
[(
Bit
,
Bit
,
Bit
)]
bits
=
[
minBound
..
maxBound
]
defaultLayout
$
do
setTitle
"Assignment 2: Boolean logic"
toWidget
...
...
@@ -124,7 +97,9 @@ table.truth td {
<tt>.circ</tt>) and also upload that below.
<p>
<b>Submit mechanism coming soon…!
To submit, please just email your files and/or pics to
<a href="mailto:christopher.league@liu.edu">christopher.league@liu.edu
using the Subject: <b>CS101 A3</b>
|]
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment